Em aritmética e teoria dos números, diz-se que um número inteiro não nulo ${\displaystyle a}$ divide um inteiro ${\displaystyle b}$, se existe um inteiro ${\displaystyle c}$, tal que ${\displaystyle b=a\cdot c}$. Se ${\displaystyle a}$ divide ${\displaystyle b}$, ${\displaystyle b}$ é chamado múltiplo de ${\displaystyle a}$, e ${\displaystyle a}$ é chamado divisor de ${\displaystyle b}$. Se ${\displaystyle a}$ divide ${\displaystyle b}$ usa-se o símbolo: ${\displaystyle a|b}$.

Formalmente, escreve-se que: ${\displaystyle a}$ é divisor de ${\displaystyle b}$ ${\displaystyle \Leftrightarrow \exists {\ c\in \mathbb {Z} };b=ac}$